Imagining the Arabs

Imagining Clp(, ) Imagining Clp(, )

We study under which conditions the domain of-terms (() and the equality theory of the-calculus () form the basis of a usable constraint logic programming language (CLP). The conditions are that the equality theory must contain axiom , and the formula language must depart from Horn clauses and accept universal quantiications and implications in goals. In short, CLP((,) must be close to Prolog. ...

Imagining the Impossible

Takayasu's disease in Arabs.

Four cases of Takayasu's disease in female Arabs are reported. All patients had classical features of the disease. Typing for HLA phenotype showed that all patients had HLA A2, A9, BW35 and DR7 antigens, suggesting an immunogenetic basis for the disease. As far as we know, this is the first report of Takayasu's disease in this ethnic group.

Imagining the Digital future

How the pre-islamic persian literature passed to the arabs